axioms of incidence

См. также в других словарях:

• Incidence (geometry) — In geometry, the relations of incidence are those such as lies on between points and lines (as in point P lies on line L ), and intersects (as in line L1 intersects line L2 , in three dimensional space). That is, they are the binary relations… …   Wikipedia

• Hilbert's axioms — are a set of 20 assumptions (originally 21), David Hilbert proposed in 1899 as the foundation for a modern treatment of Euclidean geometry. Other well known modern axiomatizations of Euclidean geometry are those of Tarski and of George… …   Wikipedia

• Synthetic geometry — Synthetic or axiomatic geometry is the branch of geometry which makes use of axioms, theorems and logical arguments to draw conclusions, as opposed to analytic and algebraic geometries which use analysis and algebra to perform geometric… …   Wikipedia

• Outline of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… …   Wikipedia

• Projective geometry — is a non metrical form of geometry, notable for its principle of duality. Projective geometry grew out of the principles of perspective art established during the Renaissance period, and was first systematically developed by Desargues in the 17th …   Wikipedia

• Ordered geometry — is a form of geometry featuring the concept of intermediacy (or betweenness ) but, like projective geometry, omitting the basic notion of measurement. Ordered geometry is a fundamental geometry forming a common framework for affine, Euclidean,… …   Wikipedia

• Euclidean geometry — A Greek mathematician performing a geometric construction with a compass, from The School of Athens by Raphael. Euclidean geometry is a mathematical system attributed to the Alexandrian Greek mathematician Euclid, which he described in his… …   Wikipedia

• Axiomes de Hilbert — David Hilbert Dans un mémoire paru en 1899, Les fondements de la géométrie ((de)Grundlagen der Geometrie), David Hilbert propose une axiomatisation de la géométrie euclidienne. Ce sont ces axiomes, qui ont été révisés au cours des éditions… …   Wikipédia en Français

• List of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… …   Wikipedia

• Interpretation (logic) — An interpretation is an assignment of meaning to the symbols of a formal language. Many formal languages used in mathematics, logic, and theoretical computer science are defined in solely syntactic terms, and as such do not have any meaning until …   Wikipedia

• Vector space — This article is about linear (vector) spaces. For the structure in incidence geometry, see Linear space (geometry). Vector addition and scalar multiplication: a vector v (blue) is added to another vector w (red, upper illustration). Below, w is… …   Wikipedia